generalized resolution meaning in English
广义归结
Examples
- Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
接着给出广义调解的有效性证明，然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。
Related Words
- generalize
- generalized preference
- generalized energy
- generalized theorem
- generalized derivative
- generalized epidemic
- generalized modeling
- generalized shear
- generalized radiance
- generalized dermatitis
- generalized remote access database
- generalized repetitive sharp transients
- generalized retinal degeneration
- generalized retrieval system